1. Abduction and Induction
پدیدآورنده : edited by Peter A. Flach, Antonis C. Kakas.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Electronic data processing.,Logic.,Philosophy (General).,Science-- Philosophy.
2. Advances in Computing, Communication, and Control :
پدیدآورنده : edited by Srija Unnikrishnan, Sunil Surve, Deepak Bhoir.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Computer software.
رده :
QA75
.
5
E358
2013
3. Algorithms and complexity : recent results and new directions : )proceedings of a Symposium on New Directions and Recent Results in Algorithms and Complexity held by the Computer Science Department, Carnegie-Mellon University, April 7-9, 1976(
پدیدآورنده : edited by J. F. Traub
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Computational complexity,Congresses ، Mathematics - Data processing
رده :
QA
76
.
6
.
S919
1976
4. Algorithms and computation :
پدیدآورنده : Takao Asano...[et al.] (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer algorithms, Congresses.
رده :
QA76
.
9
.
A43
I83
2011
5. Artificial intelligence research and development :
پدیدآورنده : edited by Teresa Alsinet, Josep Puyol-Gruart, and Carme Torras.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Digital computer simulation, Congresses.,Artificial intelligence.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Digital computer simulation.
رده :
Q334
.
C37
2008eb
6. Automated deduction in geometr
پدیدآورنده : / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
رده :
QA448
.
D38
,
I58
2011
7. Combinatorial optimization and applications :
پدیدآورنده : Donghyun Kim, R.N. Uma, Alexander Zelikovsky (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Combinatorial optimization-- Data processing, Congresses.,Computer science-- Mathematics, Congresses.,Mathematical optimization, Congresses.,Computational complexity.,Computer network architectures.,Computer science.,Computer software.,Electronic data processing.
رده :
QA402
.
5
.
C5423
2017
8. Computational Geometry on Surfaces :
پدیدآورنده : by Clara I. Grima, Alberto Márquez.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational complexity.,Computer science.,Electronic data processing.
رده :
QA643
.
B935
2001
9. Computational Techniques in Quantum Chemistry and Molecular Physics :
پدیدآورنده : edited by G.H.F. Diercksen, B.T. Sutcliffe, A. Veillard.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Electronic data processing.
رده :
QC175
.
16
.
M6
E358
1975
10. Computational complexity
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Electronic data processing-- Mathemaitcs-- Congresses,، Electronic data processing-- Numerical analysis-- Congresses
رده :
QA
76
.
5
.
C671
1971
11. Computational logistics :
پدیدآورنده : Dario Pacino, Stefan Voß, Rune Møller Jensen (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Business logistics-- Data processing, Congresses,Information technology, Congresses
رده :
HD38
.
5
.
I58
2013
12. Contemporary computing :
پدیدآورنده : Sanjay Ranka [and others] (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses.,Soft computing, Congresses.,Computer science.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Informatique.,Soft computing.,Soft computing.
رده :
QA75
.
5
.
I584
2009
13. 3D Video Coding for Embedded Device
پدیدآورنده : / by Bruno Zatt, Muhammad Shafique, Sergio Bampi, J?╢rg Henkel
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Engineering,Computer science,Electronics,Systems engineering,Electronic books
رده :
E-BOOK
14. Facing the Multicore - Challenge II
پدیدآورنده : edited by Rainer Keller, David Kramer, Jan-Philipp Weiss
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science,Computer science-- Mathematics,Computer software,Computer vision,Electronic data processing,Engineering,Physics,Software engineering,Algorithm Analysis and Problem Complexity,Complexity,Computational Mathematics and Numerical Analysis,Computer Imaging, Vision, Pattern Recognition and Graphics,Computer Science,Numeric Computing,Software Engineering/Programming and Operating Systems
15. Finite Fields: Theory and Computation
پدیدآورنده : by Igor E. Shparlinski.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra-- Data processing.,Computational complexity.,Electronic data processing.,Field theory (Physics).,Mathematics.,Number theory.
16. Fundamentals of computation theory : International Conference, FCT'89, Szeged, Hungary, August 21-25, 1989 : proceedings
پدیدآورنده : J. Csirik, J. Demetrovics, eds
کتابخانه: (طهران)
موضوع : Congresses ، Electronic data processing,Congresses ، Computational complexity
رده :
QA
75
.
5
.
I573
1989
17. Fundamentals of computation theory : Proceedings : International Conference FCT'89, Szeged, Hungary, August 21-25, 1989
پدیدآورنده : J. Csirik, J. Demetrovics, eds
کتابخانه: (طهران)
موضوع : Congresses ، Electronic data processing,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
380
18. Fundamentals of computation theory : 8th International Conference, FCT '91, Gosen, Germany, September 9-13, 1991 : proceedings
پدیدآورنده : L. Budach, ed,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Electronic data processing - Congresses,Computational complexity - Congresses
رده :
QA
.
I573
75
.
5
1991
19. Fundamentals of computation theory: 8th International Conference, FCT '91, Gosen, Germany, September 9-13, 1991 : proceedings
پدیدآورنده : FCT '19)1991 :Gosen, Brandenburg, Germany(, L. Budach, ed
موضوع : ، Electronic data processing- Congresses,، Computational complexity- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
20. Fundamentals of computation theory : 8th International Conference, FCT '91, Gosen, Germany, September 9-13, 1991 : proceedings
پدیدآورنده : L. Budach, ed
کتابخانه: (طهران)
موضوع : Congresses ، Electronic data processing,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
529
